2

Univalent foundations as structuralist foundations

Year:
2016
Language:
english
File:
PDF, 663 KB
english, 2016
3

What is a Higher-Level Set?

Year:
2017
Language:
english
File:
PDF, 330 KB
english, 2017
4

A meaning explanation for HoTT

Year:
2019
Language:
english
File:
PDF, 768 KB
english, 2019
5

A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE

Year:
2017
Language:
english
File:
PDF, 265 KB
english, 2017